Static dependency analysis for semantic data validation

Parallelisation of Data Structures via Static Dependency Analysis

Types and Static Semantic Analysis

What is a type? A restriction on the possible interpretations of a segment of memory or other program construct. Useful for two reasons: Runtime optimization: earlier binding leads to fewer runtime decisions. E.g., Addition in C efficient because type of operands known. Error avoidance: prevent programmer from putting round peg in square hole. E.g., In Java, can't open a complex number, only a ...

Frameworks and Static-Semantic Analysis

A domain may be represented either by a Domain Specific Language (DSL) or by a framework. While programs made in a DSL may be subject to static-semantic analysis and thereby ensured to be in accordance with the constraints of the domain, programs made on the basis of a corresponding framework cannot be analyzed with the same simplicity. Constraints of a domain are identified during domain analy...

Static Dependency Analysis for Concurrent Ada 95 Programs

Program dependency analysis is an analysis technique to identify and determine various program dependencies in program source codes. It is an important approach to testing, understanding, maintaining and transforming programs. But, there are still many difficulties to be solved when carrying out dependency analysis for concurrent programs because the execution of statements is unpredictable. In...

Directed Extended Dependency Analysis for Data Mining

Extended Dependency Analysis (EDA) is a heuristic search technique for finding significant relationships between nominal variables in large datasets. The directed version of EDA searches for maximally predictive sets of independent variables with respect to a target dependent variable. The original implementation of EDA was an extension of reconstructability analysis. Our new implementation add...